dfa limitations